Automated Constraint Model Enhancement during Tailoring
نویسندگان
چکیده
Constraint modelling is difficult, particularly for novices. Hence, automated methods for improving models are valuable. The context of this paper is tailoring, a process where a solver-independent constraint model is adapted to a target solver. Tailoring is augmented with automated enhancement techniques, in particular common subexpression detection and elimination, which, while powerful, can be performed inexpensively if applied selectively. Experimental results show very substantial improvements in search performance of tailored models.
منابع مشابه
Automatically Enhancing Constraint Model Instances during Tailoring
Tailoring solver-independent constraint instances to target solvers is an important component of automated constraint modelling. We augment the tailoring process by a set of enhancement techniques of which many are successfully established in related fields, such as common subexpression elimination. Our aim is to apply these techniques in an efficient fashion, since we tailor instance-wise, and...
متن کاملReformulation during Automated Constraint Modelling
Constraint modelling requires considerable expertise and therefore automating this process is highly desirable to encourage the widespread use of constraint programming techniques. One approach is to refine a high-level problem specification into a solver-independent constraint model that is then tailored to a particular solver. We further investigate tailoring, the last step of the modelling p...
متن کاملConstraint Model Enhancement by Automated Common Subexpression Elimination
The modelling bottleneck in Constraint Modelling prevents the widespread use of Constraint Programming techniques. Automated Constraint Modelling addresses this problem. To enhance automatically generated models, we eliminate common subexpressions during the modelling process, as compilers do when compiling source code. Common subexpression elimination can lead to a dramatic reduction in the si...
متن کاملCommon Subexpression Elimination in Automated Constraint Modelling
Typically, there are many alternative models of a given problem as a constraint satisfaction problem, and formulating an effective model requires a great deal of expertise. To reduce this bottleneck, automated constraint modelling systems allow the abstract specification of a problem, which can then be refined automatically to a solver-independent modelling language. The final step is to tailor...
متن کاملThe Cultural Tailoring and Effectiveness of Couples Coping Enhancement Training on Marital Adjustment of Wives
Objective: Marital adjustment of wives is associated with the satisfaction and stability of the marital life. It is among the most valuable perspectives for counselors and therapists focusing on improving couples’ relationships. This research was conducted with the aim of cultural tailoring and determining the effectiveness of “couples coping enhancement training” on improving marital adjustmen...
متن کامل